#ifndef CONSTANTES
#define CONSTANTES

#include <math.h>

#define NB_DEGRES            2

#define _N                   1920 // Nombre de Variables
#define _K                   960 // Nombre de Checks   
#define _M                   6080 // Nombre de Messages 

#define NOEUD   _N
#define MESSAGE _M

#define NmoinsK     (_N-_K)

#define DEG_1                7
#define DEG_2                6

#define DEG_1_COMPUTATIONS   320
#define DEG_2_COMPUTATIONS   640

#define NB_ITERATIONS        30
#define NB_BITS_VARIABLES    8 //8
#define NB_BITS_MESSAGES     6 //6
#define SAT_POS_VAR  ( (0x0001<<(NB_BITS_VARIABLES-1))-1)
#define SAT_NEG_VAR  (-(0x0001<<(NB_BITS_VARIABLES-1))+1)
#define SAT_POS_MSG  ( (0x0001<<(NB_BITS_MESSAGES -1))-1)
#define SAT_NEG_MSG  (-(0x0001<<(NB_BITS_MESSAGES -1))+1)





#endif


#ifndef _PosNoeudsVariable_
#define _PosNoeudsVariable_
const unsigned short PosNoeudsVariable[6080] ={
/* msg =      0, deg =  7 */    102,    418,    545,    567,    890,   1040,   1120, 
/* msg =      1, deg =  7 */    103,    419,    546,    568,    891,   1041,   1121, 
/* msg =      2, deg =  7 */    104,    420,    547,    569,    892,   1042,   1122, 
/* msg =      3, deg =  7 */    105,    421,    548,    570,    893,   1043,   1123, 
/* msg =      4, deg =  7 */    106,    422,    549,    571,    894,   1044,   1124, 
/* msg =      5, deg =  7 */    107,    423,    550,    572,    895,   1045,   1125, 
/* msg =      6, deg =  7 */    108,    424,    551,    573,    896,   1046,   1126, 
/* msg =      7, deg =  7 */    109,    425,    552,    574,    897,   1047,   1127, 
/* msg =      8, deg =  7 */    110,    426,    553,    575,    898,   1048,   1128, 
/* msg =      9, deg =  7 */    111,    427,    554,    576,    899,   1049,   1129, 
/* msg =     10, deg =  7 */    112,    428,    555,    577,    900,   1050,   1130, 
/* msg =     11, deg =  7 */    113,    429,    556,    578,    901,   1051,   1131, 
/* msg =     12, deg =  7 */    114,    430,    557,    579,    902,   1052,   1132, 
/* msg =     13, deg =  7 */    115,    431,    558,    580,    903,   1053,   1133, 
/* msg =     14, deg =  7 */    116,    432,    559,    581,    904,   1054,   1134, 
/* msg =     15, deg =  7 */    117,    433,    480,    582,    905,   1055,   1135, 
/* msg =     16, deg =  7 */    118,    434,    481,    583,    906,   1056,   1136, 
/* msg =     17, deg =  7 */    119,    435,    482,    584,    907,   1057,   1137, 
/* msg =     18, deg =  7 */    120,    436,    483,    585,    908,   1058,   1138, 
/* msg =     19, deg =  7 */    121,    437,    484,    586,    909,   1059,   1139, 
/* msg =     20, deg =  7 */    122,    438,    485,    587,    910,   1060,   1140, 
/* msg =     21, deg =  7 */    123,    439,    486,    588,    911,   1061,   1141, 
/* msg =     22, deg =  7 */    124,    440,    487,    589,    912,   1062,   1142, 
/* msg =     23, deg =  7 */    125,    441,    488,    590,    913,   1063,   1143, 
/* msg =     24, deg =  7 */    126,    442,    489,    591,    914,   1064,   1144, 
/* msg =     25, deg =  7 */    127,    443,    490,    592,    915,   1065,   1145, 
/* msg =     26, deg =  7 */    128,    444,    491,    593,    916,   1066,   1146, 
/* msg =     27, deg =  7 */    129,    445,    492,    594,    917,   1067,   1147, 
/* msg =     28, deg =  7 */    130,    446,    493,    595,    918,   1068,   1148, 
/* msg =     29, deg =  7 */    131,    447,    494,    596,    919,   1069,   1149, 
/* msg =     30, deg =  7 */    132,    448,    495,    597,    920,   1070,   1150, 
/* msg =     31, deg =  7 */    133,    449,    496,    598,    921,   1071,   1151, 
/* msg =     32, deg =  7 */    134,    450,    497,    599,    922,   1072,   1152, 
/* msg =     33, deg =  7 */    135,    451,    498,    600,    923,   1073,   1153, 
/* msg =     34, deg =  7 */    136,    452,    499,    601,    924,   1074,   1154, 
/* msg =     35, deg =  7 */    137,    453,    500,    602,    925,   1075,   1155, 
/* msg =     36, deg =  7 */    138,    454,    501,    603,    926,   1076,   1156, 
/* msg =     37, deg =  7 */    139,    455,    502,    604,    927,   1077,   1157, 
/* msg =     38, deg =  7 */    140,    456,    503,    605,    928,   1078,   1158, 
/* msg =     39, deg =  7 */    141,    457,    504,    606,    929,   1079,   1159, 
/* msg =     40, deg =  7 */    142,    458,    505,    607,    930,   1080,   1160, 
/* msg =     41, deg =  7 */    143,    459,    506,    608,    931,   1081,   1161, 
/* msg =     42, deg =  7 */    144,    460,    507,    609,    932,   1082,   1162, 
/* msg =     43, deg =  7 */    145,    461,    508,    610,    933,   1083,   1163, 
/* msg =     44, deg =  7 */    146,    462,    509,    611,    934,   1084,   1164, 
/* msg =     45, deg =  7 */    147,    463,    510,    612,    935,   1085,   1165, 
/* msg =     46, deg =  7 */    148,    464,    511,    613,    936,   1086,   1166, 
/* msg =     47, deg =  7 */    149,    465,    512,    614,    937,   1087,   1167, 
/* msg =     48, deg =  7 */    150,    466,    513,    615,    938,   1088,   1168, 
/* msg =     49, deg =  7 */    151,    467,    514,    616,    939,   1089,   1169, 
/* msg =     50, deg =  7 */    152,    468,    515,    617,    940,   1090,   1170, 
/* msg =     51, deg =  7 */    153,    469,    516,    618,    941,   1091,   1171, 
/* msg =     52, deg =  7 */    154,    470,    517,    619,    942,   1092,   1172, 
/* msg =     53, deg =  7 */    155,    471,    518,    620,    943,   1093,   1173, 
/* msg =     54, deg =  7 */    156,    472,    519,    621,    944,   1094,   1174, 
/* msg =     55, deg =  7 */    157,    473,    520,    622,    945,   1095,   1175, 
/* msg =     56, deg =  7 */    158,    474,    521,    623,    946,   1096,   1176, 
/* msg =     57, deg =  7 */    159,    475,    522,    624,    947,   1097,   1177, 
/* msg =     58, deg =  7 */     80,    476,    523,    625,    948,   1098,   1178, 
/* msg =     59, deg =  7 */     81,    477,    524,    626,    949,   1099,   1179, 
/* msg =     60, deg =  7 */     82,    478,    525,    627,    950,   1100,   1180, 
/* msg =     61, deg =  7 */     83,    479,    526,    628,    951,   1101,   1181, 
/* msg =     62, deg =  7 */     84,    400,    527,    629,    952,   1102,   1182, 
/* msg =     63, deg =  7 */     85,    401,    528,    630,    953,   1103,   1183, 
/* msg =     64, deg =  7 */     86,    402,    529,    631,    954,   1104,   1184, 
/* msg =     65, deg =  7 */     87,    403,    530,    632,    955,   1105,   1185, 
/* msg =     66, deg =  7 */     88,    404,    531,    633,    956,   1106,   1186, 
/* msg =     67, deg =  7 */     89,    405,    532,    634,    957,   1107,   1187, 
/* msg =     68, deg =  7 */     90,    406,    533,    635,    958,   1108,   1188, 
/* msg =     69, deg =  7 */     91,    407,    534,    636,    959,   1109,   1189, 
/* msg =     70, deg =  7 */     92,    408,    535,    637,    880,   1110,   1190, 
/* msg =     71, deg =  7 */     93,    409,    536,    638,    881,   1111,   1191, 
/* msg =     72, deg =  7 */     94,    410,    537,    639,    882,   1112,   1192, 
/* msg =     73, deg =  7 */     95,    411,    538,    560,    883,   1113,   1193, 
/* msg =     74, deg =  7 */     96,    412,    539,    561,    884,   1114,   1194, 
/* msg =     75, deg =  7 */     97,    413,    540,    562,    885,   1115,   1195, 
/* msg =     76, deg =  7 */     98,    414,    541,    563,    886,   1116,   1196, 
/* msg =     77, deg =  7 */     99,    415,    542,    564,    887,   1117,   1197, 
/* msg =     78, deg =  7 */    100,    416,    543,    565,    888,   1118,   1198, 
/* msg =     79, deg =  7 */    101,    417,    544,    566,    889,   1119,   1199, 
/* msg =     80, deg =  7 */    260,    338,    467,    587,    880,   1120,   1200, 
/* msg =     81, deg =  7 */    261,    339,    468,    588,    881,   1121,   1201, 
/* msg =     82, deg =  7 */    262,    340,    469,    589,    882,   1122,   1202, 
/* msg =     83, deg =  7 */    263,    341,    470,    590,    883,   1123,   1203, 
/* msg =     84, deg =  7 */    264,    342,    471,    591,    884,   1124,   1204, 
/* msg =     85, deg =  7 */    265,    343,    472,    592,    885,   1125,   1205, 
/* msg =     86, deg =  7 */    266,    344,    473,    593,    886,   1126,   1206, 
/* msg =     87, deg =  7 */    267,    345,    474,    594,    887,   1127,   1207, 
/* msg =     88, deg =  7 */    268,    346,    475,    595,    888,   1128,   1208, 
/* msg =     89, deg =  7 */    269,    347,    476,    596,    889,   1129,   1209, 
/* msg =     90, deg =  7 */    270,    348,    477,    597,    890,   1130,   1210, 
/* msg =     91, deg =  7 */    271,    349,    478,    598,    891,   1131,   1211, 
/* msg =     92, deg =  7 */    272,    350,    479,    599,    892,   1132,   1212, 
/* msg =     93, deg =  7 */    273,    351,    400,    600,    893,   1133,   1213, 
/* msg =     94, deg =  7 */    274,    352,    401,    601,    894,   1134,   1214, 
/* msg =     95, deg =  7 */    275,    353,    402,    602,    895,   1135,   1215, 
/* msg =     96, deg =  7 */    276,    354,    403,    603,    896,   1136,   1216, 
/* msg =     97, deg =  7 */    277,    355,    404,    604,    897,   1137,   1217, 
/* msg =     98, deg =  7 */    278,    356,    405,    605,    898,   1138,   1218, 
/* msg =     99, deg =  7 */    279,    357,    406,    606,    899,   1139,   1219, 
/* msg =    100, deg =  7 */    280,    358,    407,    607,    900,   1140,   1220, 
/* msg =    101, deg =  7 */    281,    359,    408,    608,    901,   1141,   1221, 
/* msg =    102, deg =  7 */    282,    360,    409,    609,    902,   1142,   1222, 
/* msg =    103, deg =  7 */    283,    361,    410,    610,    903,   1143,   1223, 
/* msg =    104, deg =  7 */    284,    362,    411,    611,    904,   1144,   1224, 
/* msg =    105, deg =  7 */    285,    363,    412,    612,    905,   1145,   1225, 
/* msg =    106, deg =  7 */    286,    364,    413,    613,    906,   1146,   1226, 
/* msg =    107, deg =  7 */    287,    365,    414,    614,    907,   1147,   1227, 
/* msg =    108, deg =  7 */    288,    366,    415,    615,    908,   1148,   1228, 
/* msg =    109, deg =  7 */    289,    367,    416,    616,    909,   1149,   1229, 
/* msg =    110, deg =  7 */    290,    368,    417,    617,    910,   1150,   1230, 
/* msg =    111, deg =  7 */    291,    369,    418,    618,    911,   1151,   1231, 
/* msg =    112, deg =  7 */    292,    370,    419,    619,    912,   1152,   1232, 
/* msg =    113, deg =  7 */    293,    371,    420,    620,    913,   1153,   1233, 
/* msg =    114, deg =  7 */    294,    372,    421,    621,    914,   1154,   1234, 
/* msg =    115, deg =  7 */    295,    373,    422,    622,    915,   1155,   1235, 
/* msg =    116, deg =  7 */    296,    374,    423,    623,    916,   1156,   1236, 
/* msg =    117, deg =  7 */    297,    375,    424,    624,    917,   1157,   1237, 
/* msg =    118, deg =  7 */    298,    376,    425,    625,    918,   1158,   1238, 
/* msg =    119, deg =  7 */    299,    377,    426,    626,    919,   1159,   1239, 
/* msg =    120, deg =  7 */    300,    378,    427,    627,    920,   1160,   1240, 
/* msg =    121, deg =  7 */    301,    379,    428,    628,    921,   1161,   1241, 
/* msg =    122, deg =  7 */    302,    380,    429,    629,    922,   1162,   1242, 
/* msg =    123, deg =  7 */    303,    381,    430,    630,    923,   1163,   1243, 
/* msg =    124, deg =  7 */    304,    382,    431,    631,    924,   1164,   1244, 
/* msg =    125, deg =  7 */    305,    383,    432,    632,    925,   1165,   1245, 
/* msg =    126, deg =  7 */    306,    384,    433,    633,    926,   1166,   1246, 
/* msg =    127, deg =  7 */    307,    385,    434,    634,    927,   1167,   1247, 
/* msg =    128, deg =  7 */    308,    386,    435,    635,    928,   1168,   1248, 
/* msg =    129, deg =  7 */    309,    387,    436,    636,    929,   1169,   1249, 
/* msg =    130, deg =  7 */    310,    388,    437,    637,    930,   1170,   1250, 
/* msg =    131, deg =  7 */    311,    389,    438,    638,    931,   1171,   1251, 
/* msg =    132, deg =  7 */    312,    390,    439,    639,    932,   1172,   1252, 
/* msg =    133, deg =  7 */    313,    391,    440,    560,    933,   1173,   1253, 
/* msg =    134, deg =  7 */    314,    392,    441,    561,    934,   1174,   1254, 
/* msg =    135, deg =  7 */    315,    393,    442,    562,    935,   1175,   1255, 
/* msg =    136, deg =  7 */    316,    394,    443,    563,    936,   1176,   1256, 
/* msg =    137, deg =  7 */    317,    395,    444,    564,    937,   1177,   1257, 
/* msg =    138, deg =  7 */    318,    396,    445,    565,    938,   1178,   1258, 
/* msg =    139, deg =  7 */    319,    397,    446,    566,    939,   1179,   1259, 
/* msg =    140, deg =  7 */    240,    398,    447,    567,    940,   1180,   1260, 
/* msg =    141, deg =  7 */    241,    399,    448,    568,    941,   1181,   1261, 
/* msg =    142, deg =  7 */    242,    320,    449,    569,    942,   1182,   1262, 
/* msg =    143, deg =  7 */    243,    321,    450,    570,    943,   1183,   1263, 
/* msg =    144, deg =  7 */    244,    322,    451,    571,    944,   1184,   1264, 
/* msg =    145, deg =  7 */    245,    323,    452,    572,    945,   1185,   1265, 
/* msg =    146, deg =  7 */    246,    324,    453,    573,    946,   1186,   1266, 
/* msg =    147, deg =  7 */    247,    325,    454,    574,    947,   1187,   1267, 
/* msg =    148, deg =  7 */    248,    326,    455,    575,    948,   1188,   1268, 
/* msg =    149, deg =  7 */    249,    327,    456,    576,    949,   1189,   1269, 
/* msg =    150, deg =  7 */    250,    328,    457,    577,    950,   1190,   1270, 
/* msg =    151, deg =  7 */    251,    329,    458,    578,    951,   1191,   1271, 
/* msg =    152, deg =  7 */    252,    330,    459,    579,    952,   1192,   1272, 
/* msg =    153, deg =  7 */    253,    331,    460,    580,    953,   1193,   1273, 
/* msg =    154, deg =  7 */    254,    332,    461,    581,    954,   1194,   1274, 
/* msg =    155, deg =  7 */    255,    333,    462,    582,    955,   1195,   1275, 
/* msg =    156, deg =  7 */    256,    334,    463,    583,    956,   1196,   1276, 
/* msg =    157, deg =  7 */    257,    335,    464,    584,    957,   1197,   1277, 
/* msg =    158, deg =  7 */    258,    336,    465,    585,    958,   1198,   1278, 
/* msg =    159, deg =  7 */    259,    337,    466,    586,    959,   1199,   1279, 
/* msg =    160, deg =  7 */    358,    433,    628,    945,    960,   1360,   1440, 
/* msg =    161, deg =  7 */    359,    434,    629,    946,    961,   1361,   1441, 
/* msg =    162, deg =  7 */    360,    435,    630,    947,    962,   1362,   1442, 
/* msg =    163, deg =  7 */    361,    436,    631,    948,    963,   1363,   1443, 
/* msg =    164, deg =  7 */    362,    437,    632,    949,    964,   1364,   1444, 
/* msg =    165, deg =  7 */    363,    438,    633,    950,    965,   1365,   1445, 
/* msg =    166, deg =  7 */    364,    439,    634,    951,    966,   1366,   1446, 
/* msg =    167, deg =  7 */    365,    440,    635,    952,    967,   1367,   1447, 
/* msg =    168, deg =  7 */    366,    441,    636,    953,    968,   1368,   1448, 
/* msg =    169, deg =  7 */    367,    442,    637,    954,    969,   1369,   1449, 
/* msg =    170, deg =  7 */    368,    443,    638,    955,    970,   1370,   1450, 
/* msg =    171, deg =  7 */    369,    444,    639,    956,    971,   1371,   1451, 
/* msg =    172, deg =  7 */    370,    445,    560,    957,    972,   1372,   1452, 
/* msg =    173, deg =  7 */    371,    446,    561,    958,    973,   1373,   1453, 
/* msg =    174, deg =  7 */    372,    447,    562,    959,    974,   1374,   1454, 
/* msg =    175, deg =  7 */    373,    448,    563,    880,    975,   1375,   1455, 
/* msg =    176, deg =  7 */    374,    449,    564,    881,    976,   1376,   1456, 
/* msg =    177, deg =  7 */    375,    450,    565,    882,    977,   1377,   1457, 
/* msg =    178, deg =  7 */    376,    451,    566,    883,    978,   1378,   1458, 
/* msg =    179, deg =  7 */    377,    452,    567,    884,    979,   1379,   1459, 
/* msg =    180, deg =  7 */    378,    453,    568,    885,    980,   1380,   1460, 
/* msg =    181, deg =  7 */    379,    454,    569,    886,    981,   1381,   1461, 
/* msg =    182, deg =  7 */    380,    455,    570,    887,    982,   1382,   1462, 
/* msg =    183, deg =  7 */    381,    456,    571,    888,    983,   1383,   1463, 
/* msg =    184, deg =  7 */    382,    457,    572,    889,    984,   1384,   1464, 
/* msg =    185, deg =  7 */    383,    458,    573,    890,    985,   1385,   1465, 
/* msg =    186, deg =  7 */    384,    459,    574,    891,    986,   1386,   1466, 
/* msg =    187, deg =  7 */    385,    460,    575,    892,    987,   1387,   1467, 
/* msg =    188, deg =  7 */    386,    461,    576,    893,    988,   1388,   1468, 
/* msg =    189, deg =  7 */    387,    462,    577,    894,    989,   1389,   1469, 
/* msg =    190, deg =  7 */    388,    463,    578,    895,    990,   1390,   1470, 
/* msg =    191, deg =  7 */    389,    464,    579,    896,    991,   1391,   1471, 
/* msg =    192, deg =  7 */    390,    465,    580,    897,    992,   1392,   1472, 
/* msg =    193, deg =  7 */    391,    466,    581,    898,    993,   1393,   1473, 
/* msg =    194, deg =  7 */    392,    467,    582,    899,    994,   1394,   1474, 
/* msg =    195, deg =  7 */    393,    468,    583,    900,    995,   1395,   1475, 
/* msg =    196, deg =  7 */    394,    469,    584,    901,    996,   1396,   1476, 
/* msg =    197, deg =  7 */    395,    470,    585,    902,    997,   1397,   1477, 
/* msg =    198, deg =  7 */    396,    471,    586,    903,    998,   1398,   1478, 
/* msg =    199, deg =  7 */    397,    472,    587,    904,    999,   1399,   1479, 
/* msg =    200, deg =  7 */    398,    473,    588,    905,   1000,   1400,   1480, 
/* msg =    201, deg =  7 */    399,    474,    589,    906,   1001,   1401,   1481, 
/* msg =    202, deg =  7 */    320,    475,    590,    907,   1002,   1402,   1482, 
/* msg =    203, deg =  7 */    321,    476,    591,    908,   1003,   1403,   1483, 
/* msg =    204, deg =  7 */    322,    477,    592,    909,   1004,   1404,   1484, 
/* msg =    205, deg =  7 */    323,    478,    593,    910,   1005,   1405,   1485, 
/* msg =    206, deg =  7 */    324,    479,    594,    911,   1006,   1406,   1486, 
/* msg =    207, deg =  7 */    325,    400,    595,    912,   1007,   1407,   1487, 
/* msg =    208, deg =  7 */    326,    401,    596,    913,   1008,   1408,   1488, 
/* msg =    209, deg =  7 */    327,    402,    597,    914,   1009,   1409,   1489, 
/* msg =    210, deg =  7 */    328,    403,    598,    915,   1010,   1410,   1490, 
/* msg =    211, deg =  7 */    329,    404,    599,    916,   1011,   1411,   1491, 
/* msg =    212, deg =  7 */    330,    405,    600,    917,   1012,   1412,   1492, 
/* msg =    213, deg =  7 */    331,    406,    601,    918,   1013,   1413,   1493, 
/* msg =    214, deg =  7 */    332,    407,    602,    919,   1014,   1414,   1494, 
/* msg =    215, deg =  7 */    333,    408,    603,    920,   1015,   1415,   1495, 
/* msg =    216, deg =  7 */    334,    409,    604,    921,   1016,   1416,   1496, 
/* msg =    217, deg =  7 */    335,    410,    605,    922,   1017,   1417,   1497, 
/* msg =    218, deg =  7 */    336,    411,    606,    923,   1018,   1418,   1498, 
/* msg =    219, deg =  7 */    337,    412,    607,    924,   1019,   1419,   1499, 
/* msg =    220, deg =  7 */    338,    413,    608,    925,   1020,   1420,   1500, 
/* msg =    221, deg =  7 */    339,    414,    609,    926,   1021,   1421,   1501, 
/* msg =    222, deg =  7 */    340,    415,    610,    927,   1022,   1422,   1502, 
/* msg =    223, deg =  7 */    341,    416,    611,    928,   1023,   1423,   1503, 
/* msg =    224, deg =  7 */    342,    417,    612,    929,   1024,   1424,   1504, 
/* msg =    225, deg =  7 */    343,    418,    613,    930,   1025,   1425,   1505, 
/* msg =    226, deg =  7 */    344,    419,    614,    931,   1026,   1426,   1506, 
/* msg =    227, deg =  7 */    345,    420,    615,    932,   1027,   1427,   1507, 
/* msg =    228, deg =  7 */    346,    421,    616,    933,   1028,   1428,   1508, 
/* msg =    229, deg =  7 */    347,    422,    617,    934,   1029,   1429,   1509, 
/* msg =    230, deg =  7 */    348,    423,    618,    935,   1030,   1430,   1510, 
/* msg =    231, deg =  7 */    349,    424,    619,    936,   1031,   1431,   1511, 
/* msg =    232, deg =  7 */    350,    425,    620,    937,   1032,   1432,   1512, 
/* msg =    233, deg =  7 */    351,    426,    621,    938,   1033,   1433,   1513, 
/* msg =    234, deg =  7 */    352,    427,    622,    939,   1034,   1434,   1514, 
/* msg =    235, deg =  7 */    353,    428,    623,    940,   1035,   1435,   1515, 
/* msg =    236, deg =  7 */    354,    429,    624,    941,   1036,   1436,   1516, 
/* msg =    237, deg =  7 */    355,    430,    625,    942,   1037,   1437,   1517, 
/* msg =    238, deg =  7 */    356,    431,    626,    943,   1038,   1438,   1518, 
/* msg =    239, deg =  7 */    357,    432,    627,    944,   1039,   1439,   1519, 
/* msg =    240, deg =  7 */     10,    389,    420,    595,    922,   1600,   1680, 
/* msg =    241, deg =  7 */     11,    390,    421,    596,    923,   1601,   1681, 
/* msg =    242, deg =  7 */     12,    391,    422,    597,    924,   1602,   1682, 
/* msg =    243, deg =  7 */     13,    392,    423,    598,    925,   1603,   1683, 
/* msg =    244, deg =  7 */     14,    393,    424,    599,    926,   1604,   1684, 
/* msg =    245, deg =  7 */     15,    394,    425,    600,    927,   1605,   1685, 
/* msg =    246, deg =  7 */     16,    395,    426,    601,    928,   1606,   1686, 
/* msg =    247, deg =  7 */     17,    396,    427,    602,    929,   1607,   1687, 
/* msg =    248, deg =  7 */     18,    397,    428,    603,    930,   1608,   1688, 
/* msg =    249, deg =  7 */     19,    398,    429,    604,    931,   1609,   1689, 
/* msg =    250, deg =  7 */     20,    399,    430,    605,    932,   1610,   1690, 
/* msg =    251, deg =  7 */     21,    320,    431,    606,    933,   1611,   1691, 
/* msg =    252, deg =  7 */     22,    321,    432,    607,    934,   1612,   1692, 
/* msg =    253, deg =  7 */     23,    322,    433,    608,    935,   1613,   1693, 
/* msg =    254, deg =  7 */     24,    323,    434,    609,    936,   1614,   1694, 
/* msg =    255, deg =  7 */     25,    324,    435,    610,    937,   1615,   1695, 
/* msg =    256, deg =  7 */     26,    325,    436,    611,    938,   1616,   1696, 
/* msg =    257, deg =  7 */     27,    326,    437,    612,    939,   1617,   1697, 
/* msg =    258, deg =  7 */     28,    327,    438,    613,    940,   1618,   1698, 
/* msg =    259, deg =  7 */     29,    328,    439,    614,    941,   1619,   1699, 
/* msg =    260, deg =  7 */     30,    329,    440,    615,    942,   1620,   1700, 
/* msg =    261, deg =  7 */     31,    330,    441,    616,    943,   1621,   1701, 
/* msg =    262, deg =  7 */     32,    331,    442,    617,    944,   1622,   1702, 
/* msg =    263, deg =  7 */     33,    332,    443,    618,    945,   1623,   1703, 
/* msg =    264, deg =  7 */     34,    333,    444,    619,    946,   1624,   1704, 
/* msg =    265, deg =  7 */     35,    334,    445,    620,    947,   1625,   1705, 
/* msg =    266, deg =  7 */     36,    335,    446,    621,    948,   1626,   1706, 
/* msg =    267, deg =  7 */     37,    336,    447,    622,    949,   1627,   1707, 
/* msg =    268, deg =  7 */     38,    337,    448,    623,    950,   1628,   1708, 
/* msg =    269, deg =  7 */     39,    338,    449,    624,    951,   1629,   1709, 
/* msg =    270, deg =  7 */     40,    339,    450,    625,    952,   1630,   1710, 
/* msg =    271, deg =  7 */     41,    340,    451,    626,    953,   1631,   1711, 
/* msg =    272, deg =  7 */     42,    341,    452,    627,    954,   1632,   1712, 
/* msg =    273, deg =  7 */     43,    342,    453,    628,    955,   1633,   1713, 
/* msg =    274, deg =  7 */     44,    343,    454,    629,    956,   1634,   1714, 
/* msg =    275, deg =  7 */     45,    344,    455,    630,    957,   1635,   1715, 
/* msg =    276, deg =  7 */     46,    345,    456,    631,    958,   1636,   1716, 
/* msg =    277, deg =  7 */     47,    346,    457,    632,    959,   1637,   1717, 
/* msg =    278, deg =  7 */     48,    347,    458,    633,    880,   1638,   1718, 
/* msg =    279, deg =  7 */     49,    348,    459,    634,    881,   1639,   1719, 
/* msg =    280, deg =  7 */     50,    349,    460,    635,    882,   1640,   1720, 
/* msg =    281, deg =  7 */     51,    350,    461,    636,    883,   1641,   1721, 
/* msg =    282, deg =  7 */     52,    351,    462,    637,    884,   1642,   1722, 
/* msg =    283, deg =  7 */     53,    352,    463,    638,    885,   1643,   1723, 
/* msg =    284, deg =  7 */     54,    353,    464,    639,    886,   1644,   1724, 
/* msg =    285, deg =  7 */     55,    354,    465,    560,    887,   1645,   1725, 
/* msg =    286, deg =  7 */     56,    355,    466,    561,    888,   1646,   1726, 
/* msg =    287, deg =  7 */     57,    356,    467,    562,    889,   1647,   1727, 
/* msg =    288, deg =  7 */     58,    357,    468,    563,    890,   1648,   1728, 
/* msg =    289, deg =  7 */     59,    358,    469,    564,    891,   1649,   1729, 
/* msg =    290, deg =  7 */     60,    359,    470,    565,    892,   1650,   1730, 
/* msg =    291, deg =  7 */     61,    360,    471,    566,    893,   1651,   1731, 
/* msg =    292, deg =  7 */     62,    361,    472,    567,    894,   1652,   1732, 
/* msg =    293, deg =  7 */     63,    362,    473,    568,    895,   1653,   1733, 
/* msg =    294, deg =  7 */     64,    363,    474,    569,    896,   1654,   1734, 
/* msg =    295, deg =  7 */     65,    364,    475,    570,    897,   1655,   1735, 
/* msg =    296, deg =  7 */     66,    365,    476,    571,    898,   1656,   1736, 
/* msg =    297, deg =  7 */     67,    366,    477,    572,    899,   1657,   1737, 
/* msg =    298, deg =  7 */     68,    367,    478,    573,    900,   1658,   1738, 
/* msg =    299, deg =  7 */     69,    368,    479,    574,    901,   1659,   1739, 
/* msg =    300, deg =  7 */     70,    369,    400,    575,    902,   1660,   1740, 
/* msg =    301, deg =  7 */     71,    370,    401,    576,    903,   1661,   1741, 
/* msg =    302, deg =  7 */     72,    371,    402,    577,    904,   1662,   1742, 
/* msg =    303, deg =  7 */     73,    372,    403,    578,    905,   1663,   1743, 
/* msg =    304, deg =  7 */     74,    373,    404,    579,    906,   1664,   1744, 
/* msg =    305, deg =  7 */     75,    374,    405,    580,    907,   1665,   1745, 
/* msg =    306, deg =  7 */     76,    375,    406,    581,    908,   1666,   1746, 
/* msg =    307, deg =  7 */     77,    376,    407,    582,    909,   1667,   1747, 
/* msg =    308, deg =  7 */     78,    377,    408,    583,    910,   1668,   1748, 
/* msg =    309, deg =  7 */     79,    378,    409,    584,    911,   1669,   1749, 
/* msg =    310, deg =  7 */      0,    379,    410,    585,    912,   1670,   1750, 
/* msg =    311, deg =  7 */      1,    380,    411,    586,    913,   1671,   1751, 
/* msg =    312, deg =  7 */      2,    381,    412,    587,    914,   1672,   1752, 
/* msg =    313, deg =  7 */      3,    382,    413,    588,    915,   1673,   1753, 
/* msg =    314, deg =  7 */      4,    383,    414,    589,    916,   1674,   1754, 
/* msg =    315, deg =  7 */      5,    384,    415,    590,    917,   1675,   1755, 
/* msg =    316, deg =  7 */      6,    385,    416,    591,    918,   1676,   1756, 
/* msg =    317, deg =  7 */      7,    386,    417,    592,    919,   1677,   1757, 
/* msg =    318, deg =  7 */      8,    387,    418,    593,    920,   1678,   1758, 
/* msg =    319, deg =  7 */      9,    388,    419,    594,    921,   1679,   1759, 
/* msg =    320, deg =  6 */    158,    220,    685,    789,    965,   1040, 
/* msg =    321, deg =  6 */    159,    221,    686,    790,    966,   1041, 
/* msg =    322, deg =  6 */     80,    222,    687,    791,    967,   1042, 
/* msg =    323, deg =  6 */     81,    223,    688,    792,    968,   1043, 
/* msg =    324, deg =  6 */     82,    224,    689,    793,    969,   1044, 
/* msg =    325, deg =  6 */     83,    225,    690,    794,    970,   1045, 
/* msg =    326, deg =  6 */     84,    226,    691,    795,    971,   1046, 
/* msg =    327, deg =  6 */     85,    227,    692,    796,    972,   1047, 
/* msg =    328, deg =  6 */     86,    228,    693,    797,    973,   1048, 
/* msg =    329, deg =  6 */     87,    229,    694,    798,    974,   1049, 
/* msg =    330, deg =  6 */     88,    230,    695,    799,    975,   1050, 
/* msg =    331, deg =  6 */     89,    231,    696,    720,    976,   1051, 
/* msg =    332, deg =  6 */     90,    232,    697,    721,    977,   1052, 
/* msg =    333, deg =  6 */     91,    233,    698,    722,    978,   1053, 
/* msg =    334, deg =  6 */     92,    234,    699,    723,    979,   1054, 
/* msg =    335, deg =  6 */     93,    235,    700,    724,    980,   1055, 
/* msg =    336, deg =  6 */     94,    236,    701,    725,    981,   1056, 
/* msg =    337, deg =  6 */     95,    237,    702,    726,    982,   1057, 
/* msg =    338, deg =  6 */     96,    238,    703,    727,    983,   1058, 
/* msg =    339, deg =  6 */     97,    239,    704,    728,    984,   1059, 
/* msg =    340, deg =  6 */     98,    160,    705,    729,    985,   1060, 
/* msg =    341, deg =  6 */     99,    161,    706,    730,    986,   1061, 
/* msg =    342, deg =  6 */    100,    162,    707,    731,    987,   1062, 
/* msg =    343, deg =  6 */    101,    163,    708,    732,    988,   1063, 
/* msg =    344, deg =  6 */    102,    164,    709,    733,    989,   1064, 
/* msg =    345, deg =  6 */    103,    165,    710,    734,    990,   1065, 
/* msg =    346, deg =  6 */    104,    166,    711,    735,    991,   1066, 
/* msg =    347, deg =  6 */    105,    167,    712,    736,    992,   1067, 
/* msg =    348, deg =  6 */    106,    168,    713,    737,    993,   1068, 
/* msg =    349, deg =  6 */    107,    169,    714,    738,    994,   1069, 
/* msg =    350, deg =  6 */    108,    170,    715,    739,    995,   1070, 
/* msg =    351, deg =  6 */    109,    171,    716,    740,    996,   1071, 
/* msg =    352, deg =  6 */    110,    172,    717,    741,    997,   1072, 
/* msg =    353, deg =  6 */    111,    173,    718,    742,    998,   1073, 
/* msg =    354, deg =  6 */    112,    174,    719,    743,    999,   1074, 
/* msg =    355, deg =  6 */    113,    175,    640,    744,   1000,   1075, 
/* msg =    356, deg =  6 */    114,    176,    641,    745,   1001,   1076, 
/* msg =    357, deg =  6 */    115,    177,    642,    746,   1002,   1077, 
/* msg =    358, deg =  6 */    116,    178,    643,    747,   1003,   1078, 
/* msg =    359, deg =  6 */    117,    179,    644,    748,   1004,   1079, 
/* msg =    360, deg =  6 */    118,    180,    645,    749,   1005,   1080, 
/* msg =    361, deg =  6 */    119,    181,    646,    750,   1006,   1081, 
/* msg =    362, deg =  6 */    120,    182,    647,    751,   1007,   1082, 
/* msg =    363, deg =  6 */    121,    183,    648,    752,   1008,   1083, 
/* msg =    364, deg =  6 */    122,    184,    649,    753,   1009,   1084, 
/* msg =    365, deg =  6 */    123,    185,    650,    754,   1010,   1085, 
/* msg =    366, deg =  6 */    124,    186,    651,    755,   1011,   1086, 
/* msg =    367, deg =  6 */    125,    187,    652,    756,   1012,   1087, 
/* msg =    368, deg =  6 */    126,    188,    653,    757,   1013,   1088, 
/* msg =    369, deg =  6 */    127,    189,    654,    758,   1014,   1089, 
/* msg =    370, deg =  6 */    128,    190,    655,    759,   1015,   1090, 
/* msg =    371, deg =  6 */    129,    191,    656,    760,   1016,   1091, 
/* msg =    372, deg =  6 */    130,    192,    657,    761,   1017,   1092, 
/* msg =    373, deg =  6 */    131,    193,    658,    762,   1018,   1093, 
/* msg =    374, deg =  6 */    132,    194,    659,    763,   1019,   1094, 
/* msg =    375, deg =  6 */    133,    195,    660,    764,   1020,   1095, 
/* msg =    376, deg =  6 */    134,    196,    661,    765,   1021,   1096, 
/* msg =    377, deg =  6 */    135,    197,    662,    766,   1022,   1097, 
/* msg =    378, deg =  6 */    136,    198,    663,    767,   1023,   1098, 
/* msg =    379, deg =  6 */    137,    199,    664,    768,   1024,   1099, 
/* msg =    380, deg =  6 */    138,    200,    665,    769,   1025,   1100, 
/* msg =    381, deg =  6 */    139,    201,    666,    770,   1026,   1101, 
/* msg =    382, deg =  6 */    140,    202,    667,    771,   1027,   1102, 
/* msg =    383, deg =  6 */    141,    203,    668,    772,   1028,   1103, 
/* msg =    384, deg =  6 */    142,    204,    669,    773,   1029,   1104, 
/* msg =    385, deg =  6 */    143,    205,    670,    774,   1030,   1105, 
/* msg =    386, deg =  6 */    144,    206,    671,    775,   1031,   1106, 
/* msg =    387, deg =  6 */    145,    207,    672,    776,   1032,   1107, 
/* msg =    388, deg =  6 */    146,    208,    673,    777,   1033,   1108, 
/* msg =    389, deg =  6 */    147,    209,    674,    778,   1034,   1109, 
/* msg =    390, deg =  6 */    148,    210,    675,    779,   1035,   1110, 
/* msg =    391, deg =  6 */    149,    211,    676,    780,   1036,   1111, 
/* msg =    392, deg =  6 */    150,    212,    677,    781,   1037,   1112, 
/* msg =    393, deg =  6 */    151,    213,    678,    782,   1038,   1113, 
/* msg =    394, deg =  6 */    152,    214,    679,    783,   1039,   1114, 
/* msg =    395, deg =  6 */    153,    215,    680,    784,    960,   1115, 
/* msg =    396, deg =  6 */    154,    216,    681,    785,    961,   1116, 
/* msg =    397, deg =  6 */    155,    217,    682,    786,    962,   1117, 
/* msg =    398, deg =  6 */    156,    218,    683,    787,    963,   1118, 
/* msg =    399, deg =  6 */    157,    219,    684,    788,    964,   1119, 
/* msg =    400, deg =  6 */     50,    199,    694,    740,   1200,   1280, 
/* msg =    401, deg =  6 */     51,    200,    695,    741,   1201,   1281, 
/* msg =    402, deg =  6 */     52,    201,    696,    742,   1202,   1282, 
/* msg =    403, deg =  6 */     53,    202,    697,    743,   1203,   1283, 
/* msg =    404, deg =  6 */     54,    203,    698,    744,   1204,   1284, 
/* msg =    405, deg =  6 */     55,    204,    699,    745,   1205,   1285, 
/* msg =    406, deg =  6 */     56,    205,    700,    746,   1206,   1286, 
/* msg =    407, deg =  6 */     57,    206,    701,    747,   1207,   1287, 
/* msg =    408, deg =  6 */     58,    207,    702,    748,   1208,   1288, 
/* msg =    409, deg =  6 */     59,    208,    703,    749,   1209,   1289, 
/* msg =    410, deg =  6 */     60,    209,    704,    750,   1210,   1290, 
/* msg =    411, deg =  6 */     61,    210,    705,    751,   1211,   1291, 
/* msg =    412, deg =  6 */     62,    211,    706,    752,   1212,   1292, 
/* msg =    413, deg =  6 */     63,    212,    707,    753,   1213,   1293, 
/* msg =    414, deg =  6 */     64,    213,    708,    754,   1214,   1294, 
/* msg =    415, deg =  6 */     65,    214,    709,    755,   1215,   1295, 
/* msg =    416, deg =  6 */     66,    215,    710,    756,   1216,   1296, 
/* msg =    417, deg =  6 */     67,    216,    711,    757,   1217,   1297, 
/* msg =    418, deg =  6 */     68,    217,    712,    758,   1218,   1298, 
/* msg =    419, deg =  6 */     69,    218,    713,    759,   1219,   1299, 
/* msg =    420, deg =  6 */     70,    219,    714,    760,   1220,   1300, 
/* msg =    421, deg =  6 */     71,    220,    715,    761,   1221,   1301, 
/* msg =    422, deg =  6 */     72,    221,    716,    762,   1222,   1302, 
/* msg =    423, deg =  6 */     73,    222,    717,    763,   1223,   1303, 
/* msg =    424, deg =  6 */     74,    223,    718,    764,   1224,   1304, 
/* msg =    425, deg =  6 */     75,    224,    719,    765,   1225,   1305, 
/* msg =    426, deg =  6 */     76,    225,    640,    766,   1226,   1306, 
/* msg =    427, deg =  6 */     77,    226,    641,    767,   1227,   1307, 
/* msg =    428, deg =  6 */     78,    227,    642,    768,   1228,   1308, 
/* msg =    429, deg =  6 */     79,    228,    643,    769,   1229,   1309, 
/* msg =    430, deg =  6 */      0,    229,    644,    770,   1230,   1310, 
/* msg =    431, deg =  6 */      1,    230,    645,    771,   1231,   1311, 
/* msg =    432, deg =  6 */      2,    231,    646,    772,   1232,   1312, 
/* msg =    433, deg =  6 */      3,    232,    647,    773,   1233,   1313, 
/* msg =    434, deg =  6 */      4,    233,    648,    774,   1234,   1314, 
/* msg =    435, deg =  6 */      5,    234,    649,    775,   1235,   1315, 
/* msg =    436, deg =  6 */      6,    235,    650,    776,   1236,   1316, 
/* msg =    437, deg =  6 */      7,    236,    651,    777,   1237,   1317, 
/* msg =    438, deg =  6 */      8,    237,    652,    778,   1238,   1318, 
/* msg =    439, deg =  6 */      9,    238,    653,    779,   1239,   1319, 
/* msg =    440, deg =  6 */     10,    239,    654,    780,   1240,   1320, 
/* msg =    441, deg =  6 */     11,    160,    655,    781,   1241,   1321, 
/* msg =    442, deg =  6 */     12,    161,    656,    782,   1242,   1322, 
/* msg =    443, deg =  6 */     13,    162,    657,    783,   1243,   1323, 
/* msg =    444, deg =  6 */     14,    163,    658,    784,   1244,   1324, 
/* msg =    445, deg =  6 */     15,    164,    659,    785,   1245,   1325, 
/* msg =    446, deg =  6 */     16,    165,    660,    786,   1246,   1326, 
/* msg =    447, deg =  6 */     17,    166,    661,    787,   1247,   1327, 
/* msg =    448, deg =  6 */     18,    167,    662,    788,   1248,   1328, 
/* msg =    449, deg =  6 */     19,    168,    663,    789,   1249,   1329, 
/* msg =    450, deg =  6 */     20,    169,    664,    790,   1250,   1330, 
/* msg =    451, deg =  6 */     21,    170,    665,    791,   1251,   1331, 
/* msg =    452, deg =  6 */     22,    171,    666,    792,   1252,   1332, 
/* msg =    453, deg =  6 */     23,    172,    667,    793,   1253,   1333, 
/* msg =    454, deg =  6 */     24,    173,    668,    794,   1254,   1334, 
/* msg =    455, deg =  6 */     25,    174,    669,    795,   1255,   1335, 
/* msg =    456, deg =  6 */     26,    175,    670,    796,   1256,   1336, 
/* msg =    457, deg =  6 */     27,    176,    671,    797,   1257,   1337, 
/* msg =    458, deg =  6 */     28,    177,    672,    798,   1258,   1338, 
/* msg =    459, deg =  6 */     29,    178,    673,    799,   1259,   1339, 
/* msg =    460, deg =  6 */     30,    179,    674,    720,   1260,   1340, 
/* msg =    461, deg =  6 */     31,    180,    675,    721,   1261,   1341, 
/* msg =    462, deg =  6 */     32,    181,    676,    722,   1262,   1342, 
/* msg =    463, deg =  6 */     33,    182,    677,    723,   1263,   1343, 
/* msg =    464, deg =  6 */     34,    183,    678,    724,   1264,   1344, 
/* msg =    465, deg =  6 */     35,    184,    679,    725,   1265,   1345, 
/* msg =    466, deg =  6 */     36,    185,    680,    726,   1266,   1346, 
/* msg =    467, deg =  6 */     37,    186,    681,    727,   1267,   1347, 
/* msg =    468, deg =  6 */     38,    187,    682,    728,   1268,   1348, 
/* msg =    469, deg =  6 */     39,    188,    683,    729,   1269,   1349, 
/* msg =    470, deg =  6 */     40,    189,    684,    730,   1270,   1350, 
/* msg =    471, deg =  6 */     41,    190,    685,    731,   1271,   1351, 
/* msg =    472, deg =  6 */     42,    191,    686,    732,   1272,   1352, 
/* msg =    473, deg =  6 */     43,    192,    687,    733,   1273,   1353, 
/* msg =    474, deg =  6 */     44,    193,    688,    734,   1274,   1354, 
/* msg =    475, deg =  6 */     45,    194,    689,    735,   1275,   1355, 
/* msg =    476, deg =  6 */     46,    195,    690,    736,   1276,   1356, 
/* msg =    477, deg =  6 */     47,    196,    691,    737,   1277,   1357, 
/* msg =    478, deg =  6 */     48,    197,    692,    738,   1278,   1358, 
/* msg =    479, deg =  6 */     49,    198,    693,    739,   1279,   1359, 
/* msg =    480, deg =  6 */    192,    550,    754,    860,   1280,   1360, 
/* msg =    481, deg =  6 */    193,    551,    755,    861,   1281,   1361, 
/* msg =    482, deg =  6 */    194,    552,    756,    862,   1282,   1362, 
/* msg =    483, deg =  6 */    195,    553,    757,    863,   1283,   1363, 
/* msg =    484, deg =  6 */    196,    554,    758,    864,   1284,   1364, 
/* msg =    485, deg =  6 */    197,    555,    759,    865,   1285,   1365, 
/* msg =    486, deg =  6 */    198,    556,    760,    866,   1286,   1366, 
/* msg =    487, deg =  6 */    199,    557,    761,    867,   1287,   1367, 
/* msg =    488, deg =  6 */    200,    558,    762,    868,   1288,   1368, 
/* msg =    489, deg =  6 */    201,    559,    763,    869,   1289,   1369, 
/* msg =    490, deg =  6 */    202,    480,    764,    870,   1290,   1370, 
/* msg =    491, deg =  6 */    203,    481,    765,    871,   1291,   1371, 
/* msg =    492, deg =  6 */    204,    482,    766,    872,   1292,   1372, 
/* msg =    493, deg =  6 */    205,    483,    767,    873,   1293,   1373, 
/* msg =    494, deg =  6 */    206,    484,    768,    874,   1294,   1374, 
/* msg =    495, deg =  6 */    207,    485,    769,    875,   1295,   1375, 
/* msg =    496, deg =  6 */    208,    486,    770,    876,   1296,   1376, 
/* msg =    497, deg =  6 */    209,    487,    771,    877,   1297,   1377, 
/* msg =    498, deg =  6 */    210,    488,    772,    878,   1298,   1378, 
/* msg =    499, deg =  6 */    211,    489,    773,    879,   1299,   1379, 
/* msg =    500, deg =  6 */    212,    490,    774,    800,   1300,   1380, 
/* msg =    501, deg =  6 */    213,    491,    775,    801,   1301,   1381, 
/* msg =    502, deg =  6 */    214,    492,    776,    802,   1302,   1382, 
/* msg =    503, deg =  6 */    215,    493,    777,    803,   1303,   1383, 
/* msg =    504, deg =  6 */    216,    494,    778,    804,   1304,   1384, 
/* msg =    505, deg =  6 */    217,    495,    779,    805,   1305,   1385, 
/* msg =    506, deg =  6 */    218,    496,    780,    806,   1306,   1386, 
/* msg =    507, deg =  6 */    219,    497,    781,    807,   1307,   1387, 
/* msg =    508, deg =  6 */    220,    498,    782,    808,   1308,   1388, 
/* msg =    509, deg =  6 */    221,    499,    783,    809,   1309,   1389, 
/* msg =    510, deg =  6 */    222,    500,    784,    810,   1310,   1390, 
/* msg =    511, deg =  6 */    223,    501,    785,    811,   1311,   1391, 
/* msg =    512, deg =  6 */    224,    502,    786,    812,   1312,   1392, 
/* msg =    513, deg =  6 */    225,    503,    787,    813,   1313,   1393, 
/* msg =    514, deg =  6 */    226,    504,    788,    814,   1314,   1394, 
/* msg =    515, deg =  6 */    227,    505,    789,    815,   1315,   1395, 
/* msg =    516, deg =  6 */    228,    506,    790,    816,   1316,   1396, 
/* msg =    517, deg =  6 */    229,    507,    791,    817,   1317,   1397, 
/* msg =    518, deg =  6 */    230,    508,    792,    818,   1318,   1398, 
/* msg =    519, deg =  6 */    231,    509,    793,    819,   1319,   1399, 
/* msg =    520, deg =  6 */    232,    510,    794,    820,   1320,   1400, 
/* msg =    521, deg =  6 */    233,    511,    795,    821,   1321,   1401, 
/* msg =    522, deg =  6 */    234,    512,    796,    822,   1322,   1402, 
/* msg =    523, deg =  6 */    235,    513,    797,    823,   1323,   1403, 
/* msg =    524, deg =  6 */    236,    514,    798,    824,   1324,   1404, 
/* msg =    525, deg =  6 */    237,    515,    799,    825,   1325,   1405, 
/* msg =    526, deg =  6 */    238,    516,    720,    826,   1326,   1406, 
/* msg =    527, deg =  6 */    239,    517,    721,    827,   1327,   1407, 
/* msg =    528, deg =  6 */    160,    518,    722,    828,   1328,   1408, 
/* msg =    529, deg =  6 */    161,    519,    723,    829,   1329,   1409, 
/* msg =    530, deg =  6 */    162,    520,    724,    830,   1330,   1410, 
/* msg =    531, deg =  6 */    163,    521,    725,    831,   1331,   1411, 
/* msg =    532, deg =  6 */    164,    522,    726,    832,   1332,   1412, 
/* msg =    533, deg =  6 */    165,    523,    727,    833,   1333,   1413, 
/* msg =    534, deg =  6 */    166,    524,    728,    834,   1334,   1414, 
/* msg =    535, deg =  6 */    167,    525,    729,    835,   1335,   1415, 
/* msg =    536, deg =  6 */    168,    526,    730,    836,   1336,   1416, 
/* msg =    537, deg =  6 */    169,    527,    731,    837,   1337,   1417, 
/* msg =    538, deg =  6 */    170,    528,    732,    838,   1338,   1418, 
/* msg =    539, deg =  6 */    171,    529,    733,    839,   1339,   1419, 
/* msg =    540, deg =  6 */    172,    530,    734,    840,   1340,   1420, 
/* msg =    541, deg =  6 */    173,    531,    735,    841,   1341,   1421, 
/* msg =    542, deg =  6 */    174,    532,    736,    842,   1342,   1422, 
/* msg =    543, deg =  6 */    175,    533,    737,    843,   1343,   1423, 
/* msg =    544, deg =  6 */    176,    534,    738,    844,   1344,   1424, 
/* msg =    545, deg =  6 */    177,    535,    739,    845,   1345,   1425, 
/* msg =    546, deg =  6 */    178,    536,    740,    846,   1346,   1426, 
/* msg =    547, deg =  6 */    179,    537,    741,    847,   1347,   1427, 
/* msg =    548, deg =  6 */    180,    538,    742,    848,   1348,   1428, 
/* msg =    549, deg =  6 */    181,    539,    743,    849,   1349,   1429, 
/* msg =    550, deg =  6 */    182,    540,    744,    850,   1350,   1430, 
/* msg =    551, deg =  6 */    183,    541,    745,    851,   1351,   1431, 
/* msg =    552, deg =  6 */    184,    542,    746,    852,   1352,   1432, 
/* msg =    553, deg =  6 */    185,    543,    747,    853,   1353,   1433, 
/* msg =    554, deg =  6 */    186,    544,    748,    854,   1354,   1434, 
/* msg =    555, deg =  6 */    187,    545,    749,    855,   1355,   1435, 
/* msg =    556, deg =  6 */    188,    546,    750,    856,   1356,   1436, 
/* msg =    557, deg =  6 */    189,    547,    751,    857,   1357,   1437, 
/* msg =    558, deg =  6 */    190,    548,    752,    858,   1358,   1438, 
/* msg =    559, deg =  6 */    191,    549,    753,    859,   1359,   1439, 
/* msg =    560, deg =  6 */    239,    284,    731,    815,   1440,   1520, 
/* msg =    561, deg =  6 */    160,    285,    732,    816,   1441,   1521, 
/* msg =    562, deg =  6 */    161,    286,    733,    817,   1442,   1522, 
/* msg =    563, deg =  6 */    162,    287,    734,    818,   1443,   1523, 
/* msg =    564, deg =  6 */    163,    288,    735,    819,   1444,   1524, 
/* msg =    565, deg =  6 */    164,    289,    736,    820,   1445,   1525, 
/* msg =    566, deg =  6 */    165,    290,    737,    821,   1446,   1526, 
/* msg =    567, deg =  6 */    166,    291,    738,    822,   1447,   1527, 
/* msg =    568, deg =  6 */    167,    292,    739,    823,   1448,   1528, 
/* msg =    569, deg =  6 */    168,    293,    740,    824,   1449,   1529, 
/* msg =    570, deg =  6 */    169,    294,    741,    825,   1450,   1530, 
/* msg =    571, deg =  6 */    170,    295,    742,    826,   1451,   1531, 
/* msg =    572, deg =  6 */    171,    296,    743,    827,   1452,   1532, 
/* msg =    573, deg =  6 */    172,    297,    744,    828,   1453,   1533, 
/* msg =    574, deg =  6 */    173,    298,    745,    829,   1454,   1534, 
/* msg =    575, deg =  6 */    174,    299,    746,    830,   1455,   1535, 
/* msg =    576, deg =  6 */    175,    300,    747,    831,   1456,   1536, 
/* msg =    577, deg =  6 */    176,    301,    748,    832,   1457,   1537, 
/* msg =    578, deg =  6 */    177,    302,    749,    833,   1458,   1538, 
/* msg =    579, deg =  6 */    178,    303,    750,    834,   1459,   1539, 
/* msg =    580, deg =  6 */    179,    304,    751,    835,   1460,   1540, 
/* msg =    581, deg =  6 */    180,    305,    752,    836,   1461,   1541, 
/* msg =    582, deg =  6 */    181,    306,    753,    837,   1462,   1542, 
/* msg =    583, deg =  6 */    182,    307,    754,    838,   1463,   1543, 
/* msg =    584, deg =  6 */    183,    308,    755,    839,   1464,   1544, 
/* msg =    585, deg =  6 */    184,    309,    756,    840,   1465,   1545, 
/* msg =    586, deg =  6 */    185,    310,    757,    841,   1466,   1546, 
/* msg =    587, deg =  6 */    186,    311,    758,    842,   1467,   1547, 
/* msg =    588, deg =  6 */    187,    312,    759,    843,   1468,   1548, 
/* msg =    589, deg =  6 */    188,    313,    760,    844,   1469,   1549, 
/* msg =    590, deg =  6 */    189,    314,    761,    845,   1470,   1550, 
/* msg =    591, deg =  6 */    190,    315,    762,    846,   1471,   1551, 
/* msg =    592, deg =  6 */    191,    316,    763,    847,   1472,   1552, 
/* msg =    593, deg =  6 */    192,    317,    764,    848,   1473,   1553, 
/* msg =    594, deg =  6 */    193,    318,    765,    849,   1474,   1554, 
/* msg =    595, deg =  6 */    194,    319,    766,    850,   1475,   1555, 
/* msg =    596, deg =  6 */    195,    240,    767,    851,   1476,   1556, 
/* msg =    597, deg =  6 */    196,    241,    768,    852,   1477,   1557, 
/* msg =    598, deg =  6 */    197,    242,    769,    853,   1478,   1558, 
/* msg =    599, deg =  6 */    198,    243,    770,    854,   1479,   1559, 
/* msg =    600, deg =  6 */    199,    244,    771,    855,   1480,   1560, 
/* msg =    601, deg =  6 */    200,    245,    772,    856,   1481,   1561, 
/* msg =    602, deg =  6 */    201,    246,    773,    857,   1482,   1562, 
/* msg =    603, deg =  6 */    202,    247,    774,    858,   1483,   1563, 
/* msg =    604, deg =  6 */    203,    248,    775,    859,   1484,   1564, 
/* msg =    605, deg =  6 */    204,    249,    776,    860,   1485,   1565, 
/* msg =    606, deg =  6 */    205,    250,    777,    861,   1486,   1566, 
/* msg =    607, deg =  6 */    206,    251,    778,    862,   1487,   1567, 
/* msg =    608, deg =  6 */    207,    252,    779,    863,   1488,   1568, 
/* msg =    609, deg =  6 */    208,    253,    780,    864,   1489,   1569, 
/* msg =    610, deg =  6 */    209,    254,    781,    865,   1490,   1570, 
/* msg =    611, deg =  6 */    210,    255,    782,    866,   1491,   1571, 
/* msg =    612, deg =  6 */    211,    256,    783,    867,   1492,   1572, 
/* msg =    613, deg =  6 */    212,    257,    784,    868,   1493,   1573, 
/* msg =    614, deg =  6 */    213,    258,    785,    869,   1494,   1574, 
/* msg =    615, deg =  6 */    214,    259,    786,    870,   1495,   1575, 
/* msg =    616, deg =  6 */    215,    260,    787,    871,   1496,   1576, 
/* msg =    617, deg =  6 */    216,    261,    788,    872,   1497,   1577, 
/* msg =    618, deg =  6 */    217,    262,    789,    873,   1498,   1578, 
/* msg =    619, deg =  6 */    218,    263,    790,    874,   1499,   1579, 
/* msg =    620, deg =  6 */    219,    264,    791,    875,   1500,   1580, 
/* msg =    621, deg =  6 */    220,    265,    792,    876,   1501,   1581, 
/* msg =    622, deg =  6 */    221,    266,    793,    877,   1502,   1582, 
/* msg =    623, deg =  6 */    222,    267,    794,    878,   1503,   1583, 
/* msg =    624, deg =  6 */    223,    268,    795,    879,   1504,   1584, 
/* msg =    625, deg =  6 */    224,    269,    796,    800,   1505,   1585, 
/* msg =    626, deg =  6 */    225,    270,    797,    801,   1506,   1586, 
/* msg =    627, deg =  6 */    226,    271,    798,    802,   1507,   1587, 
/* msg =    628, deg =  6 */    227,    272,    799,    803,   1508,   1588, 
/* msg =    629, deg =  6 */    228,    273,    720,    804,   1509,   1589, 
/* msg =    630, deg =  6 */    229,    274,    721,    805,   1510,   1590, 
/* msg =    631, deg =  6 */    230,    275,    722,    806,   1511,   1591, 
/* msg =    632, deg =  6 */    231,    276,    723,    807,   1512,   1592, 
/* msg =    633, deg =  6 */    232,    277,    724,    808,   1513,   1593, 
/* msg =    634, deg =  6 */    233,    278,    725,    809,   1514,   1594, 
/* msg =    635, deg =  6 */    234,    279,    726,    810,   1515,   1595, 
/* msg =    636, deg =  6 */    235,    280,    727,    811,   1516,   1596, 
/* msg =    637, deg =  6 */    236,    281,    728,    812,   1517,   1597, 
/* msg =    638, deg =  6 */    237,    282,    729,    813,   1518,   1598, 
/* msg =    639, deg =  6 */    238,    283,    730,    814,   1519,   1599, 
/* msg =    640, deg =  6 */     89,    220,    481,    759,   1520,   1600, 
/* msg =    641, deg =  6 */     90,    221,    482,    760,   1521,   1601, 
/* msg =    642, deg =  6 */     91,    222,    483,    761,   1522,   1602, 
/* msg =    643, deg =  6 */     92,    223,    484,    762,   1523,   1603, 
/* msg =    644, deg =  6 */     93,    224,    485,    763,   1524,   1604, 
/* msg =    645, deg =  6 */     94,    225,    486,    764,   1525,   1605, 
/* msg =    646, deg =  6 */     95,    226,    487,    765,   1526,   1606, 
/* msg =    647, deg =  6 */     96,    227,    488,    766,   1527,   1607, 
/* msg =    648, deg =  6 */     97,    228,    489,    767,   1528,   1608, 
/* msg =    649, deg =  6 */     98,    229,    490,    768,   1529,   1609, 
/* msg =    650, deg =  6 */     99,    230,    491,    769,   1530,   1610, 
/* msg =    651, deg =  6 */    100,    231,    492,    770,   1531,   1611, 
/* msg =    652, deg =  6 */    101,    232,    493,    771,   1532,   1612, 
/* msg =    653, deg =  6 */    102,    233,    494,    772,   1533,   1613, 
/* msg =    654, deg =  6 */    103,    234,    495,    773,   1534,   1614, 
/* msg =    655, deg =  6 */    104,    235,    496,    774,   1535,   1615, 
/* msg =    656, deg =  6 */    105,    236,    497,    775,   1536,   1616, 
/* msg =    657, deg =  6 */    106,    237,    498,    776,   1537,   1617, 
/* msg =    658, deg =  6 */    107,    238,    499,    777,   1538,   1618, 
/* msg =    659, deg =  6 */    108,    239,    500,    778,   1539,   1619, 
/* msg =    660, deg =  6 */    109,    160,    501,    779,   1540,   1620, 
/* msg =    661, deg =  6 */    110,    161,    502,    780,   1541,   1621, 
/* msg =    662, deg =  6 */    111,    162,    503,    781,   1542,   1622, 
/* msg =    663, deg =  6 */    112,    163,    504,    782,   1543,   1623, 
/* msg =    664, deg =  6 */    113,    164,    505,    783,   1544,   1624, 
/* msg =    665, deg =  6 */    114,    165,    506,    784,   1545,   1625, 
/* msg =    666, deg =  6 */    115,    166,    507,    785,   1546,   1626, 
/* msg =    667, deg =  6 */    116,    167,    508,    786,   1547,   1627, 
/* msg =    668, deg =  6 */    117,    168,    509,    787,   1548,   1628, 
/* msg =    669, deg =  6 */    118,    169,    510,    788,   1549,   1629, 
/* msg =    670, deg =  6 */    119,    170,    511,    789,   1550,   1630, 
/* msg =    671, deg =  6 */    120,    171,    512,    790,   1551,   1631, 
/* msg =    672, deg =  6 */    121,    172,    513,    791,   1552,   1632, 
/* msg =    673, deg =  6 */    122,    173,    514,    792,   1553,   1633, 
/* msg =    674, deg =  6 */    123,    174,    515,    793,   1554,   1634, 
/* msg =    675, deg =  6 */    124,    175,    516,    794,   1555,   1635, 
/* msg =    676, deg =  6 */    125,    176,    517,    795,   1556,   1636, 
/* msg =    677, deg =  6 */    126,    177,    518,    796,   1557,   1637, 
/* msg =    678, deg =  6 */    127,    178,    519,    797,   1558,   1638, 
/* msg =    679, deg =  6 */    128,    179,    520,    798,   1559,   1639, 
/* msg =    680, deg =  6 */    129,    180,    521,    799,   1560,   1640, 
/* msg =    681, deg =  6 */    130,    181,    522,    720,   1561,   1641, 
/* msg =    682, deg =  6 */    131,    182,    523,    721,   1562,   1642, 
/* msg =    683, deg =  6 */    132,    183,    524,    722,   1563,   1643, 
/* msg =    684, deg =  6 */    133,    184,    525,    723,   1564,   1644, 
/* msg =    685, deg =  6 */    134,    185,    526,    724,   1565,   1645, 
/* msg =    686, deg =  6 */    135,    186,    527,    725,   1566,   1646, 
/* msg =    687, deg =  6 */    136,    187,    528,    726,   1567,   1647, 
/* msg =    688, deg =  6 */    137,    188,    529,    727,   1568,   1648, 
/* msg =    689, deg =  6 */    138,    189,    530,    728,   1569,   1649, 
/* msg =    690, deg =  6 */    139,    190,    531,    729,   1570,   1650, 
/* msg =    691, deg =  6 */    140,    191,    532,    730,   1571,   1651, 
/* msg =    692, deg =  6 */    141,    192,    533,    731,   1572,   1652, 
/* msg =    693, deg =  6 */    142,    193,    534,    732,   1573,   1653, 
/* msg =    694, deg =  6 */    143,    194,    535,    733,   1574,   1654, 
/* msg =    695, deg =  6 */    144,    195,    536,    734,   1575,   1655, 
/* msg =    696, deg =  6 */    145,    196,    537,    735,   1576,   1656, 
/* msg =    697, deg =  6 */    146,    197,    538,    736,   1577,   1657, 
/* msg =    698, deg =  6 */    147,    198,    539,    737,   1578,   1658, 
/* msg =    699, deg =  6 */    148,    199,    540,    738,   1579,   1659, 
/* msg =    700, deg =  6 */    149,    200,    541,    739,   1580,   1660, 
/* msg =    701, deg =  6 */    150,    201,    542,    740,   1581,   1661, 
/* msg =    702, deg =  6 */    151,    202,    543,    741,   1582,   1662, 
/* msg =    703, deg =  6 */    152,    203,    544,    742,   1583,   1663, 
/* msg =    704, deg =  6 */    153,    204,    545,    743,   1584,   1664, 
/* msg =    705, deg =  6 */    154,    205,    546,    744,   1585,   1665, 
/* msg =    706, deg =  6 */    155,    206,    547,    745,   1586,   1666, 
/* msg =    707, deg =  6 */    156,    207,    548,    746,   1587,   1667, 
/* msg =    708, deg =  6 */    157,    208,    549,    747,   1588,   1668, 
/* msg =    709, deg =  6 */    158,    209,    550,    748,   1589,   1669, 
/* msg =    710, deg =  6 */    159,    210,    551,    749,   1590,   1670, 
/* msg =    711, deg =  6 */     80,    211,    552,    750,   1591,   1671, 
/* msg =    712, deg =  6 */     81,    212,    553,    751,   1592,   1672, 
/* msg =    713, deg =  6 */     82,    213,    554,    752,   1593,   1673, 
/* msg =    714, deg =  6 */     83,    214,    555,    753,   1594,   1674, 
/* msg =    715, deg =  6 */     84,    215,    556,    754,   1595,   1675, 
/* msg =    716, deg =  6 */     85,    216,    557,    755,   1596,   1676, 
/* msg =    717, deg =  6 */     86,    217,    558,    756,   1597,   1677, 
/* msg =    718, deg =  6 */     87,    218,    559,    757,   1598,   1678, 
/* msg =    719, deg =  6 */     88,    219,    480,    758,   1599,   1679, 
/* msg =    720, deg =  6 */    478,    609,    858,    940,   1680,   1760, 
/* msg =    721, deg =  6 */    479,    610,    859,    941,   1681,   1761, 
/* msg =    722, deg =  6 */    400,    611,    860,    942,   1682,   1762, 
/* msg =    723, deg =  6 */    401,    612,    861,    943,   1683,   1763, 
/* msg =    724, deg =  6 */    402,    613,    862,    944,   1684,   1764, 
/* msg =    725, deg =  6 */    403,    614,    863,    945,   1685,   1765, 
/* msg =    726, deg =  6 */    404,    615,    864,    946,   1686,   1766, 
/* msg =    727, deg =  6 */    405,    616,    865,    947,   1687,   1767, 
/* msg =    728, deg =  6 */    406,    617,    866,    948,   1688,   1768, 
/* msg =    729, deg =  6 */    407,    618,    867,    949,   1689,   1769, 
/* msg =    730, deg =  6 */    408,    619,    868,    950,   1690,   1770, 
/* msg =    731, deg =  6 */    409,    620,    869,    951,   1691,   1771, 
/* msg =    732, deg =  6 */    410,    621,    870,    952,   1692,   1772, 
/* msg =    733, deg =  6 */    411,    622,    871,    953,   1693,   1773, 
/* msg =    734, deg =  6 */    412,    623,    872,    954,   1694,   1774, 
/* msg =    735, deg =  6 */    413,    624,    873,    955,   1695,   1775, 
/* msg =    736, deg =  6 */    414,    625,    874,    956,   1696,   1776, 
/* msg =    737, deg =  6 */    415,    626,    875,    957,   1697,   1777, 
/* msg =    738, deg =  6 */    416,    627,    876,    958,   1698,   1778, 
/* msg =    739, deg =  6 */    417,    628,    877,    959,   1699,   1779, 
/* msg =    740, deg =  6 */    418,    629,    878,    880,   1700,   1780, 
/* msg =    741, deg =  6 */    419,    630,    879,    881,   1701,   1781, 
/* msg =    742, deg =  6 */    420,    631,    800,    882,   1702,   1782, 
/* msg =    743, deg =  6 */    421,    632,    801,    883,   1703,   1783, 
/* msg =    744, deg =  6 */    422,    633,    802,    884,   1704,   1784, 
/* msg =    745, deg =  6 */    423,    634,    803,    885,   1705,   1785, 
/* msg =    746, deg =  6 */    424,    635,    804,    886,   1706,   1786, 
/* msg =    747, deg =  6 */    425,    636,    805,    887,   1707,   1787, 
/* msg =    748, deg =  6 */    426,    637,    806,    888,   1708,   1788, 
/* msg =    749, deg =  6 */    427,    638,    807,    889,   1709,   1789, 
/* msg =    750, deg =  6 */    428,    639,    808,    890,   1710,   1790, 
/* msg =    751, deg =  6 */    429,    560,    809,    891,   1711,   1791, 
/* msg =    752, deg =  6 */    430,    561,    810,    892,   1712,   1792, 
/* msg =    753, deg =  6 */    431,    562,    811,    893,   1713,   1793, 
/* msg =    754, deg =  6 */    432,    563,    812,    894,   1714,   1794, 
/* msg =    755, deg =  6 */    433,    564,    813,    895,   1715,   1795, 
/* msg =    756, deg =  6 */    434,    565,    814,    896,   1716,   1796, 
/* msg =    757, deg =  6 */    435,    566,    815,    897,   1717,   1797, 
/* msg =    758, deg =  6 */    436,    567,    816,    898,   1718,   1798, 
/* msg =    759, deg =  6 */    437,    568,    817,    899,   1719,   1799, 
/* msg =    760, deg =  6 */    438,    569,    818,    900,   1720,   1800, 
/* msg =    761, deg =  6 */    439,    570,    819,    901,   1721,   1801, 
/* msg =    762, deg =  6 */    440,    571,    820,    902,   1722,   1802, 
/* msg =    763, deg =  6 */    441,    572,    821,    903,   1723,   1803, 
/* msg =    764, deg =  6 */    442,    573,    822,    904,   1724,   1804, 
/* msg =    765, deg =  6 */    443,    574,    823,    905,   1725,   1805, 
/* msg =    766, deg =  6 */    444,    575,    824,    906,   1726,   1806, 
/* msg =    767, deg =  6 */    445,    576,    825,    907,   1727,   1807, 
/* msg =    768, deg =  6 */    446,    577,    826,    908,   1728,   1808, 
/* msg =    769, deg =  6 */    447,    578,    827,    909,   1729,   1809, 
/* msg =    770, deg =  6 */    448,    579,    828,    910,   1730,   1810, 
/* msg =    771, deg =  6 */    449,    580,    829,    911,   1731,   1811, 
/* msg =    772, deg =  6 */    450,    581,    830,    912,   1732,   1812, 
/* msg =    773, deg =  6 */    451,    582,    831,    913,   1733,   1813, 
/* msg =    774, deg =  6 */    452,    583,    832,    914,   1734,   1814, 
/* msg =    775, deg =  6 */    453,    584,    833,    915,   1735,   1815, 
/* msg =    776, deg =  6 */    454,    585,    834,    916,   1736,   1816, 
/* msg =    777, deg =  6 */    455,    586,    835,    917,   1737,   1817, 
/* msg =    778, deg =  6 */    456,    587,    836,    918,   1738,   1818, 
/* msg =    779, deg =  6 */    457,    588,    837,    919,   1739,   1819, 
/* msg =    780, deg =  6 */    458,    589,    838,    920,   1740,   1820, 
/* msg =    781, deg =  6 */    459,    590,    839,    921,   1741,   1821, 
/* msg =    782, deg =  6 */    460,    591,    840,    922,   1742,   1822, 
/* msg =    783, deg =  6 */    461,    592,    841,    923,   1743,   1823, 
/* msg =    784, deg =  6 */    462,    593,    842,    924,   1744,   1824, 
/* msg =    785, deg =  6 */    463,    594,    843,    925,   1745,   1825, 
/* msg =    786, deg =  6 */    464,    595,    844,    926,   1746,   1826, 
/* msg =    787, deg =  6 */    465,    596,    845,    927,   1747,   1827, 
/* msg =    788, deg =  6 */    466,    597,    846,    928,   1748,   1828, 
/* msg =    789, deg =  6 */    467,    598,    847,    929,   1749,   1829, 
/* msg =    790, deg =  6 */    468,    599,    848,    930,   1750,   1830, 
/* msg =    791, deg =  6 */    469,    600,    849,    931,   1751,   1831, 
/* msg =    792, deg =  6 */    470,    601,    850,    932,   1752,   1832, 
/* msg =    793, deg =  6 */    471,    602,    851,    933,   1753,   1833, 
/* msg =    794, deg =  6 */    472,    603,    852,    934,   1754,   1834, 
/* msg =    795, deg =  6 */    473,    604,    853,    935,   1755,   1835, 
/* msg =    796, deg =  6 */    474,    605,    854,    936,   1756,   1836, 
/* msg =    797, deg =  6 */    475,    606,    855,    937,   1757,   1837, 
/* msg =    798, deg =  6 */    476,    607,    856,    938,   1758,   1838, 
/* msg =    799, deg =  6 */    477,    608,    857,    939,   1759,   1839, 
/* msg =    800, deg =  6 */    165,    294,    672,    760,   1760,   1840, 
/* msg =    801, deg =  6 */    166,    295,    673,    761,   1761,   1841, 
/* msg =    802, deg =  6 */    167,    296,    674,    762,   1762,   1842, 
/* msg =    803, deg =  6 */    168,    297,    675,    763,   1763,   1843, 
/* msg =    804, deg =  6 */    169,    298,    676,    764,   1764,   1844, 
/* msg =    805, deg =  6 */    170,    299,    677,    765,   1765,   1845, 
/* msg =    806, deg =  6 */    171,    300,    678,    766,   1766,   1846, 
/* msg =    807, deg =  6 */    172,    301,    679,    767,   1767,   1847, 
/* msg =    808, deg =  6 */    173,    302,    680,    768,   1768,   1848, 
/* msg =    809, deg =  6 */    174,    303,    681,    769,   1769,   1849, 
/* msg =    810, deg =  6 */    175,    304,    682,    770,   1770,   1850, 
/* msg =    811, deg =  6 */    176,    305,    683,    771,   1771,   1851, 
/* msg =    812, deg =  6 */    177,    306,    684,    772,   1772,   1852, 
/* msg =    813, deg =  6 */    178,    307,    685,    773,   1773,   1853, 
/* msg =    814, deg =  6 */    179,    308,    686,    774,   1774,   1854, 
/* msg =    815, deg =  6 */    180,    309,    687,    775,   1775,   1855, 
/* msg =    816, deg =  6 */    181,    310,    688,    776,   1776,   1856, 
/* msg =    817, deg =  6 */    182,    311,    689,    777,   1777,   1857, 
/* msg =    818, deg =  6 */    183,    312,    690,    778,   1778,   1858, 
/* msg =    819, deg =  6 */    184,    313,    691,    779,   1779,   1859, 
/* msg =    820, deg =  6 */    185,    314,    692,    780,   1780,   1860, 
/* msg =    821, deg =  6 */    186,    315,    693,    781,   1781,   1861, 
/* msg =    822, deg =  6 */    187,    316,    694,    782,   1782,   1862, 
/* msg =    823, deg =  6 */    188,    317,    695,    783,   1783,   1863, 
/* msg =    824, deg =  6 */    189,    318,    696,    784,   1784,   1864, 
/* msg =    825, deg =  6 */    190,    319,    697,    785,   1785,   1865, 
/* msg =    826, deg =  6 */    191,    240,    698,    786,   1786,   1866, 
/* msg =    827, deg =  6 */    192,    241,    699,    787,   1787,   1867, 
/* msg =    828, deg =  6 */    193,    242,    700,    788,   1788,   1868, 
/* msg =    829, deg =  6 */    194,    243,    701,    789,   1789,   1869, 
/* msg =    830, deg =  6 */    195,    244,    702,    790,   1790,   1870, 
/* msg =    831, deg =  6 */    196,    245,    703,    791,   1791,   1871, 
/* msg =    832, deg =  6 */    197,    246,    704,    792,   1792,   1872, 
/* msg =    833, deg =  6 */    198,    247,    705,    793,   1793,   1873, 
/* msg =    834, deg =  6 */    199,    248,    706,    794,   1794,   1874, 
/* msg =    835, deg =  6 */    200,    249,    707,    795,   1795,   1875, 
/* msg =    836, deg =  6 */    201,    250,    708,    796,   1796,   1876, 
/* msg =    837, deg =  6 */    202,    251,    709,    797,   1797,   1877, 
/* msg =    838, deg =  6 */    203,    252,    710,    798,   1798,   1878, 
/* msg =    839, deg =  6 */    204,    253,    711,    799,   1799,   1879, 
/* msg =    840, deg =  6 */    205,    254,    712,    720,   1800,   1880, 
/* msg =    841, deg =  6 */    206,    255,    713,    721,   1801,   1881, 
/* msg =    842, deg =  6 */    207,    256,    714,    722,   1802,   1882, 
/* msg =    843, deg =  6 */    208,    257,    715,    723,   1803,   1883, 
/* msg =    844, deg =  6 */    209,    258,    716,    724,   1804,   1884, 
/* msg =    845, deg =  6 */    210,    259,    717,    725,   1805,   1885, 
/* msg =    846, deg =  6 */    211,    260,    718,    726,   1806,   1886, 
/* msg =    847, deg =  6 */    212,    261,    719,    727,   1807,   1887, 
/* msg =    848, deg =  6 */    213,    262,    640,    728,   1808,   1888, 
/* msg =    849, deg =  6 */    214,    263,    641,    729,   1809,   1889, 
/* msg =    850, deg =  6 */    215,    264,    642,    730,   1810,   1890, 
/* msg =    851, deg =  6 */    216,    265,    643,    731,   1811,   1891, 
/* msg =    852, deg =  6 */    217,    266,    644,    732,   1812,   1892, 
/* msg =    853, deg =  6 */    218,    267,    645,    733,   1813,   1893, 
/* msg =    854, deg =  6 */    219,    268,    646,    734,   1814,   1894, 
/* msg =    855, deg =  6 */    220,    269,    647,    735,   1815,   1895, 
/* msg =    856, deg =  6 */    221,    270,    648,    736,   1816,   1896, 
/* msg =    857, deg =  6 */    222,    271,    649,    737,   1817,   1897, 
/* msg =    858, deg =  6 */    223,    272,    650,    738,   1818,   1898, 
/* msg =    859, deg =  6 */    224,    273,    651,    739,   1819,   1899, 
/* msg =    860, deg =  6 */    225,    274,    652,    740,   1820,   1900, 
/* msg =    861, deg =  6 */    226,    275,    653,    741,   1821,   1901, 
/* msg =    862, deg =  6 */    227,    276,    654,    742,   1822,   1902, 
/* msg =    863, deg =  6 */    228,    277,    655,    743,   1823,   1903, 
/* msg =    864, deg =  6 */    229,    278,    656,    744,   1824,   1904, 
/* msg =    865, deg =  6 */    230,    279,    657,    745,   1825,   1905, 
/* msg =    866, deg =  6 */    231,    280,    658,    746,   1826,   1906, 
/* msg =    867, deg =  6 */    232,    281,    659,    747,   1827,   1907, 
/* msg =    868, deg =  6 */    233,    282,    660,    748,   1828,   1908, 
/* msg =    869, deg =  6 */    234,    283,    661,    749,   1829,   1909, 
/* msg =    870, deg =  6 */    235,    284,    662,    750,   1830,   1910, 
/* msg =    871, deg =  6 */    236,    285,    663,    751,   1831,   1911, 
/* msg =    872, deg =  6 */    237,    286,    664,    752,   1832,   1912, 
/* msg =    873, deg =  6 */    238,    287,    665,    753,   1833,   1913, 
/* msg =    874, deg =  6 */    239,    288,    666,    754,   1834,   1914, 
/* msg =    875, deg =  6 */    160,    289,    667,    755,   1835,   1915, 
/* msg =    876, deg =  6 */    161,    290,    668,    756,   1836,   1916, 
/* msg =    877, deg =  6 */    162,    291,    669,    757,   1837,   1917, 
/* msg =    878, deg =  6 */    163,    292,    670,    758,   1838,   1918, 
/* msg =    879, deg =  6 */    164,    293,    671,    759,   1839,   1919, 
/* msg =    880, deg =  6 */     35,    455,    594,    901,    965,   1840, 
/* msg =    881, deg =  6 */     36,    456,    595,    902,    966,   1841, 
/* msg =    882, deg =  6 */     37,    457,    596,    903,    967,   1842, 
/* msg =    883, deg =  6 */     38,    458,    597,    904,    968,   1843, 
/* msg =    884, deg =  6 */     39,    459,    598,    905,    969,   1844, 
/* msg =    885, deg =  6 */     40,    460,    599,    906,    970,   1845, 
/* msg =    886, deg =  6 */     41,    461,    600,    907,    971,   1846, 
/* msg =    887, deg =  6 */     42,    462,    601,    908,    972,   1847, 
/* msg =    888, deg =  6 */     43,    463,    602,    909,    973,   1848, 
/* msg =    889, deg =  6 */     44,    464,    603,    910,    974,   1849, 
/* msg =    890, deg =  6 */     45,    465,    604,    911,    975,   1850, 
/* msg =    891, deg =  6 */     46,    466,    605,    912,    976,   1851, 
/* msg =    892, deg =  6 */     47,    467,    606,    913,    977,   1852, 
/* msg =    893, deg =  6 */     48,    468,    607,    914,    978,   1853, 
/* msg =    894, deg =  6 */     49,    469,    608,    915,    979,   1854, 
/* msg =    895, deg =  6 */     50,    470,    609,    916,    980,   1855, 
/* msg =    896, deg =  6 */     51,    471,    610,    917,    981,   1856, 
/* msg =    897, deg =  6 */     52,    472,    611,    918,    982,   1857, 
/* msg =    898, deg =  6 */     53,    473,    612,    919,    983,   1858, 
/* msg =    899, deg =  6 */     54,    474,    613,    920,    984,   1859, 
/* msg =    900, deg =  6 */     55,    475,    614,    921,    985,   1860, 
/* msg =    901, deg =  6 */     56,    476,    615,    922,    986,   1861, 
/* msg =    902, deg =  6 */     57,    477,    616,    923,    987,   1862, 
/* msg =    903, deg =  6 */     58,    478,    617,    924,    988,   1863, 
/* msg =    904, deg =  6 */     59,    479,    618,    925,    989,   1864, 
/* msg =    905, deg =  6 */     60,    400,    619,    926,    990,   1865, 
/* msg =    906, deg =  6 */     61,    401,    620,    927,    991,   1866, 
/* msg =    907, deg =  6 */     62,    402,    621,    928,    992,   1867, 
/* msg =    908, deg =  6 */     63,    403,    622,    929,    993,   1868, 
/* msg =    909, deg =  6 */     64,    404,    623,    930,    994,   1869, 
/* msg =    910, deg =  6 */     65,    405,    624,    931,    995,   1870, 
/* msg =    911, deg =  6 */     66,    406,    625,    932,    996,   1871, 
/* msg =    912, deg =  6 */     67,    407,    626,    933,    997,   1872, 
/* msg =    913, deg =  6 */     68,    408,    627,    934,    998,   1873, 
/* msg =    914, deg =  6 */     69,    409,    628,    935,    999,   1874, 
/* msg =    915, deg =  6 */     70,    410,    629,    936,   1000,   1875, 
/* msg =    916, deg =  6 */     71,    411,    630,    937,   1001,   1876, 
/* msg =    917, deg =  6 */     72,    412,    631,    938,   1002,   1877, 
/* msg =    918, deg =  6 */     73,    413,    632,    939,   1003,   1878, 
/* msg =    919, deg =  6 */     74,    414,    633,    940,   1004,   1879, 
/* msg =    920, deg =  6 */     75,    415,    634,    941,   1005,   1880, 
/* msg =    921, deg =  6 */     76,    416,    635,    942,   1006,   1881, 
/* msg =    922, deg =  6 */     77,    417,    636,    943,   1007,   1882, 
/* msg =    923, deg =  6 */     78,    418,    637,    944,   1008,   1883, 
/* msg =    924, deg =  6 */     79,    419,    638,    945,   1009,   1884, 
/* msg =    925, deg =  6 */      0,    420,    639,    946,   1010,   1885, 
/* msg =    926, deg =  6 */      1,    421,    560,    947,   1011,   1886, 
/* msg =    927, deg =  6 */      2,    422,    561,    948,   1012,   1887, 
/* msg =    928, deg =  6 */      3,    423,    562,    949,   1013,   1888, 
/* msg =    929, deg =  6 */      4,    424,    563,    950,   1014,   1889, 
/* msg =    930, deg =  6 */      5,    425,    564,    951,   1015,   1890, 
/* msg =    931, deg =  6 */      6,    426,    565,    952,   1016,   1891, 
/* msg =    932, deg =  6 */      7,    427,    566,    953,   1017,   1892, 
/* msg =    933, deg =  6 */      8,    428,    567,    954,   1018,   1893, 
/* msg =    934, deg =  6 */      9,    429,    568,    955,   1019,   1894, 
/* msg =    935, deg =  6 */     10,    430,    569,    956,   1020,   1895, 
/* msg =    936, deg =  6 */     11,    431,    570,    957,   1021,   1896, 
/* msg =    937, deg =  6 */     12,    432,    571,    958,   1022,   1897, 
/* msg =    938, deg =  6 */     13,    433,    572,    959,   1023,   1898, 
/* msg =    939, deg =  6 */     14,    434,    573,    880,   1024,   1899, 
/* msg =    940, deg =  6 */     15,    435,    574,    881,   1025,   1900, 
/* msg =    941, deg =  6 */     16,    436,    575,    882,   1026,   1901, 
/* msg =    942, deg =  6 */     17,    437,    576,    883,   1027,   1902, 
/* msg =    943, deg =  6 */     18,    438,    577,    884,   1028,   1903, 
/* msg =    944, deg =  6 */     19,    439,    578,    885,   1029,   1904, 
/* msg =    945, deg =  6 */     20,    440,    579,    886,   1030,   1905, 
/* msg =    946, deg =  6 */     21,    441,    580,    887,   1031,   1906, 
/* msg =    947, deg =  6 */     22,    442,    581,    888,   1032,   1907, 
/* msg =    948, deg =  6 */     23,    443,    582,    889,   1033,   1908, 
/* msg =    949, deg =  6 */     24,    444,    583,    890,   1034,   1909, 
/* msg =    950, deg =  6 */     25,    445,    584,    891,   1035,   1910, 
/* msg =    951, deg =  6 */     26,    446,    585,    892,   1036,   1911, 
/* msg =    952, deg =  6 */     27,    447,    586,    893,   1037,   1912, 
/* msg =    953, deg =  6 */     28,    448,    587,    894,   1038,   1913, 
/* msg =    954, deg =  6 */     29,    449,    588,    895,   1039,   1914, 
/* msg =    955, deg =  6 */     30,    450,    589,    896,    960,   1915, 
/* msg =    956, deg =  6 */     31,    451,    590,    897,    961,   1916, 
/* msg =    957, deg =  6 */     32,    452,    591,    898,    962,   1917, 
/* msg =    958, deg =  6 */     33,    453,    592,    899,    963,   1918, 
/* msg =    959, deg =  6 */     34,    454,    593,    900,    964,   1919
};
#endif

